Pattern matching

Results: 1006



#Item
451Data file / Files / Find / Delimiter / Diff / Newline / Tar / Gcov / Files-11 / Computing / Unix / Pattern matching

combine Manual Flexible Data Manipulation Edition[removed]for Release[removed]by Daniel P. Valentine

Add to Reading List

Source URL: ftp.gnu.org

Language: English - Date: 2004-05-12 07:17:45
452Recursion / Computability theory / Mathematical logic / Programming idioms / Theory of computation / Fold / Well-founded relation / Function / Pattern matching / Mathematics / Computer programming / Computing

Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2014-08-27 06:04:04
453PARAM / Computing / Delimiter / Pattern matching

B. BNF for Joule Syntax This chapter presents, in Backus-Naur form, a grammar for the Joule language forms and expression syntax. Lexical conventions will appear in a later version of this Appendix.

Add to Reading List

Source URL: www.erights.org

Language: English - Date: 2004-12-04 19:43:48
454Compiler construction / Programming language implementation / Pattern matching / Automata theory / Ragel / Lex / Finite-state machine / Regular expression / Parsing / Computing / Software / Parser generators

Ragel State Machine Compiler User Guide by Adrian Thurston

Add to Reading List

Source URL: www.colm.net

Language: English - Date: 2014-11-28 15:51:12
455Markup languages / Open formats / Data differencing / Diff / Pattern matching / Merge / Altova / DatabaseSpy / XML / Computing / Software / Computer file formats

The unique XML-aware diff/merge tool for files, directories, and databases DiffDog Diff/Merge Tool Altova® DiffDog® 2014 efficiently compares files, directories, and databases and highlights differences in its easy-to-

Add to Reading List

Source URL: www.altova.com

Language: English - Date: 2013-10-24 06:52:40
456Formal languages / Computer science / Pattern matching / Universal identifiers / Nondeterministic finite automaton / Deterministic automaton / Terminal and nonterminal symbols / Deterministic finite automaton / International Article Number / Automata theory / Models of computation / Theoretical computer science

Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations

Add to Reading List

Source URL: www.ssw.uni-linz.ac.at

Language: English - Date: 2005-04-26 10:03:24
457Applied mathematics / Mathematics / Cellular automaton / Approximate string matching / Pattern / Compressed pattern matching / String searching algorithm / Conference on Implementation and Application of Automata / Trie / Pattern matching / Automata theory / Theoretical computer science

Czech Technical University in Prague Faculty of Electrical Engineering Department of Computer Science and Engineering Two-dimensional Pattern Matching Using Automata Approach by

Add to Reading List

Source URL: www.stringology.org

Language: English - Date: 2010-12-27 13:17:17
458Science / Data mining / Design / Pattern matching / Pattern recognition / Pattern / Statistics / Knowledge / Formal sciences / Data analysis / Machine learning

Mining and Linking Patterns across Live Data Streams and Stream Archives ∗ Di Yang, Kaiyu Zhao, Hanyuan Lu, Maryam Hasan, Elke Rundensteiner and Matthew Ward Worcester Polytechnic Institute

Add to Reading List

Source URL: davis.wpi.edu

Language: English - Date: 2013-06-06 17:50:05
459Source code / Regular expressions / Formal languages / Automata theory / Pattern matching / Subroutine / Computer programming / Software engineering / Computing

Soros language specification1 DRAFT, [removed]László Németh ([removed]) 1 Introduction The Soros programming language is a regex based language for conversion between self-similar

Add to Reading List

Source URL: www.numbertext.org

Language: English - Date: 2010-04-19 08:50:28
460Delimiter / Data file / Cut / Field / Find / Tar / Diff / Newline / Comma-separated values / Computing / Unix / Pattern matching

combine Manual Flexible Data Manipulation Edition[removed]for Release[removed]by Daniel P. Valentine

Add to Reading List

Source URL: www.gnu.org

Language: English - Date: 2013-07-28 14:52:01
UPDATE